This is DVItype, Version 2.5
Options selected:
  Starting page = * 
  Maximum number of pages = 1000000
  Output level = 1 (terse)
  Resolution =  384.00000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=1000;       0.00008108 pixels per DVI unit
' TeX output 1984.05.14:1341'
 
42: beginning of page 1 
87: push 
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0) 
88: down3 -917504 v:=0-917504=-917504, vv:=-74 
92: pop 
level 0:(h=0,v=0,w=0,x=0,y=0,z=0,hh=0,vv=0) 
93: down4 42152922 v:=0+42152922=42152922, vv:=3418 
98: push 
level 0:(h=0,v=42152922,w=0,x=0,y=0,z=0,hh=0,vv=3418) 
99: down4 -41497562 v:=42152922-41497562=655360, vv:=53 
104: push 
level 1:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=53) 
[ ]
109: fntdef1 0: amr10---loaded at size 655360 DVI units 
130: fntnum0 current font is amr10 
[A]
132: pop 
level 1:(h=0,v=655360,w=0,x=0,y=0,z=0,hh=0,vv=53) 
133: y3 786432 v:=655360+786432=1441792, vv:=117 
137: push 
level 1:(h=0,v=1441792,w=0,x=0,y=786432,z=0,hh=0,vv=117) 
[ ]
142: fntdef1 1: amr9---loaded at size 589824 DVI units 
162: fntnum1 current font is amr9 
[A]
164: pop 
level 1:(h=0,v=1441792,w=0,x=0,y=786432,z=0,hh=0,vv=117) 
165: y0 786432 v:=1441792+786432=2228224, vv:=181 
166: push 
level 1:(h=0,v=2228224,w=0,x=0,y=786432,z=0,hh=0,vv=181) 
[ ]
171: fntdef1 2: amr8---loaded at size 524288 DVI units 
191: fntnum2 current font is amr8 
[A]
193: pop 
level 1:(h=0,v=2228224,w=0,x=0,y=786432,z=0,hh=0,vv=181) 
194: y0 786432 v:=2228224+786432=3014656, vv:=244 
195: push 
level 1:(h=0,v=3014656,w=0,x=0,y=786432,z=0,hh=0,vv=244) 
[ ]
200: fntdef1 3: amr7---loaded at size 458752 DVI units 
220: fntnum3 current font is amr7 
[A]
222: pop 
level 1:(h=0,v=3014656,w=0,x=0,y=786432,z=0,hh=0,vv=244) 
223: y0 786432 v:=3014656+786432=3801088, vv:=308 
224: push 
level 1:(h=0,v=3801088,w=0,x=0,y=786432,z=0,hh=0,vv=308) 
[ ]
229: fntdef1 4: amr6---loaded at size 393216 DVI units 
249: fntnum4 current font is amr6 
[A]
251: pop 
level 1:(h=0,v=3801088,w=0,x=0,y=786432,z=0,hh=0,vv=308) 
252: y0 786432 v:=3801088+786432=4587520, vv:=372 
253: push 
level 1:(h=0,v=4587520,w=0,x=0,y=786432,z=0,hh=0,vv=372) 
[ ]
258: fntdef1 5: amr5---loaded at size 327680 DVI units 
278: fntnum5 current font is amr5 
[A]
280: pop 
level 1:(h=0,v=4587520,w=0,x=0,y=786432,z=0,hh=0,vv=372) 
281: y0 786432 v:=4587520+786432=5373952, vv:=436 
282: push 
level 1:(h=0,v=5373952,w=0,x=0,y=786432,z=0,hh=0,vv=436) 
[ ]
287: fntdef1 6: ammi10---loaded at size 655360 DVI units 
309: fntnum6 current font is ammi10 
[A]
311: pop 
level 1:(h=0,v=5373952,w=0,x=0,y=786432,z=0,hh=0,vv=436) 
312: y0 786432 v:=5373952+786432=6160384, vv:=499 
313: push 
level 1:(h=0,v=6160384,w=0,x=0,y=786432,z=0,hh=0,vv=499) 
[ ]
318: fntdef1 7: ammi9---loaded at size 589824 DVI units 
339: fntnum7 current font is ammi9 
[A]
341: pop 
level 1:(h=0,v=6160384,w=0,x=0,y=786432,z=0,hh=0,vv=499) 
342: y0 786432 v:=6160384+786432=6946816, vv:=563 
343: push 
level 1:(h=0,v=6946816,w=0,x=0,y=786432,z=0,hh=0,vv=563) 
[ ]
348: fntdef1 8: ammi8---loaded at size 524288 DVI units 
369: fntnum8 current font is ammi8 
[A]
371: pop 
level 1:(h=0,v=6946816,w=0,x=0,y=786432,z=0,hh=0,vv=563) 
372: y0 786432 v:=6946816+786432=7733248, vv:=627 
373: push 
level 1:(h=0,v=7733248,w=0,x=0,y=786432,z=0,hh=0,vv=627) 
[ ]
378: fntdef1 9: ammi7---loaded at size 458752 DVI units 
399: fntnum9 current font is ammi7 
[A]
401: pop 
level 1:(h=0,v=7733248,w=0,x=0,y=786432,z=0,hh=0,vv=627) 
402: y0 786432 v:=7733248+786432=8519680, vv:=691 
403: push 
level 1:(h=0,v=8519680,w=0,x=0,y=786432,z=0,hh=0,vv=691) 
[ ]
408: fntdef1 10: ammi6---loaded at size 393216 DVI units 
429: fntnum10 current font is ammi6 
[A]
431: pop 
level 1:(h=0,v=8519680,w=0,x=0,y=786432,z=0,hh=0,vv=691) 
432: y0 786432 v:=8519680+786432=9306112, vv:=755 
433: push 
level 1:(h=0,v=9306112,w=0,x=0,y=786432,z=0,hh=0,vv=755) 
[ ]
438: fntdef1 11: ammi5---loaded at size 327680 DVI units 
459: fntnum11 current font is ammi5 
[A]
461: pop 
level 1:(h=0,v=9306112,w=0,x=0,y=786432,z=0,hh=0,vv=755) 
462: y0 786432 v:=9306112+786432=10092544, vv:=818 
463: push 
level 1:(h=0,v=10092544,w=0,x=0,y=786432,z=0,hh=0,vv=818) 
[ ]
468: fntdef1 12: amsy10---loaded at size 655360 DVI units 
490: fntnum12 current font is amsy10 
[A]
492: pop 
level 1:(h=0,v=10092544,w=0,x=0,y=786432,z=0,hh=0,vv=818) 
493: y0 786432 v:=10092544+786432=10878976, vv:=882 
494: push 
level 1:(h=0,v=10878976,w=0,x=0,y=786432,z=0,hh=0,vv=882) 
[ ]
499: fntdef1 13: amsy9---loaded at size 589824 DVI units 
520: fntnum13 current font is amsy9 
[A]
522: pop 
level 1:(h=0,v=10878976,w=0,x=0,y=786432,z=0,hh=0,vv=882) 
523: y0 786432 v:=10878976+786432=11665408, vv:=946 
524: push 
level 1:(h=0,v=11665408,w=0,x=0,y=786432,z=0,hh=0,vv=946) 
[ ]
529: fntdef1 14: amsy8---loaded at size 524288 DVI units 
550: fntnum14 current font is amsy8 
[A]
552: pop 
level 1:(h=0,v=11665408,w=0,x=0,y=786432,z=0,hh=0,vv=946) 
553: y0 786432 v:=11665408+786432=12451840, vv:=1010 
554: push 
level 1:(h=0,v=12451840,w=0,x=0,y=786432,z=0,hh=0,vv=1010) 
[ ]
559: fntdef1 15: amsy7---loaded at size 458752 DVI units 
580: fntnum15 current font is amsy7 
[A]
582: pop 
level 1:(h=0,v=12451840,w=0,x=0,y=786432,z=0,hh=0,vv=1010) 
583: y0 786432 v:=12451840+786432=13238272, vv:=1073 
584: push 
level 1:(h=0,v=13238272,w=0,x=0,y=786432,z=0,hh=0,vv=1073) 
[ ]
589: fntdef1 16: amsy6---loaded at size 393216 DVI units 
610: fntnum16 current font is amsy6 
[A]
612: pop 
level 1:(h=0,v=13238272,w=0,x=0,y=786432,z=0,hh=0,vv=1073) 
613: y0 786432 v:=13238272+786432=14024704, vv:=1137 
614: push 
level 1:(h=0,v=14024704,w=0,x=0,y=786432,z=0,hh=0,vv=1137) 
[ ]
619: fntdef1 17: amsy5---loaded at size 327680 DVI units 
640: fntnum17 current font is amsy5 
[A]
642: pop 
level 1:(h=0,v=14024704,w=0,x=0,y=786432,z=0,hh=0,vv=1137) 
643: y0 786432 v:=14024704+786432=14811136, vv:=1201 
644: push 
level 1:(h=0,v=14811136,w=0,x=0,y=786432,z=0,hh=0,vv=1201) 
[ ]
649: fntdef1 18: amex10---loaded at size 655360 DVI units 
671: fntnum18 current font is amex10 
[A]
673: pop 
level 1:(h=0,v=14811136,w=0,x=0,y=786432,z=0,hh=0,vv=1201) 
674: down3 1700295 v:=14811136+1700295=16511431, vv:=1339 
678: push 
level 1:(h=0,v=16511431,w=0,x=0,y=786432,z=0,hh=0,vv=1339) 
[ ]
683: fntdef1 19: amss10---loaded at size 655360 DVI units 
705: fntnum19 current font is amss10 
[A]
707: pop 
level 1:(h=0,v=16511431,w=0,x=0,y=786432,z=0,hh=0,vv=1339) 
708: y0 786432 v:=16511431+786432=17297863, vv:=1402 
709: push 
level 1:(h=0,v=17297863,w=0,x=0,y=786432,z=0,hh=0,vv=1402) 
[ ]
714: fntdef1 20: amssq8---loaded at size 524288 DVI units 
736: fntnum20 current font is amssq8 
[A]
738: pop 
level 1:(h=0,v=17297863,w=0,x=0,y=786432,z=0,hh=0,vv=1402) 
739: y0 786432 v:=17297863+786432=18084295, vv:=1466 
740: push 
level 1:(h=0,v=18084295,w=0,x=0,y=786432,z=0,hh=0,vv=1466) 
[ ]
745: fntdef1 21: amssi10---loaded at size 655360 DVI units 
768: fntnum21 current font is amssi10 
[A]
770: pop 
level 1:(h=0,v=18084295,w=0,x=0,y=786432,z=0,hh=0,vv=1466) 
771: y0 786432 v:=18084295+786432=18870727, vv:=1530 
772: push 
level 1:(h=0,v=18870727,w=0,x=0,y=786432,z=0,hh=0,vv=1530) 
[ ]
777: fntdef1 22: amssqi8---loaded at size 524288 DVI units 
800: fntnum22 current font is amssqi8 
[A]
802: pop 
level 1:(h=0,v=18870727,w=0,x=0,y=786432,z=0,hh=0,vv=1530) 
803: y0 786432 v:=18870727+786432=19657159, vv:=1594 
804: push 
level 1:(h=0,v=19657159,w=0,x=0,y=786432,z=0,hh=0,vv=1594) 
[ ]
809: fntdef1 23: ambx10---loaded at size 655360 DVI units 
831: fntnum23 current font is ambx10 
[A]
833: pop 
level 1:(h=0,v=19657159,w=0,x=0,y=786432,z=0,hh=0,vv=1594) 
834: y0 786432 v:=19657159+786432=20443591, vv:=1657 
835: push 
level 1:(h=0,v=20443591,w=0,x=0,y=786432,z=0,hh=0,vv=1657) 
[ ]
840: fntdef1 24: ambx9---loaded at size 589824 DVI units 
861: fntnum24 current font is ambx9 
[A]
863: pop 
level 1:(h=0,v=20443591,w=0,x=0,y=786432,z=0,hh=0,vv=1657) 
864: y0 786432 v:=20443591+786432=21230023, vv:=1721 
865: push 
level 1:(h=0,v=21230023,w=0,x=0,y=786432,z=0,hh=0,vv=1721) 
[ ]
870: fntdef1 25: ambx8---loaded at size 524288 DVI units 
891: fntnum25 current font is ambx8 
[A]
893: pop 
level 1:(h=0,v=21230023,w=0,x=0,y=786432,z=0,hh=0,vv=1721) 
894: y0 786432 v:=21230023+786432=22016455, vv:=1785 
895: push 
level 1:(h=0,v=22016455,w=0,x=0,y=786432,z=0,hh=0,vv=1785) 
[ ]
900: fntdef1 26: ambx7---loaded at size 458752 DVI units 
921: fntnum26 current font is ambx7 
[A]
923: pop 
level 1:(h=0,v=22016455,w=0,x=0,y=786432,z=0,hh=0,vv=1785) 
924: y0 786432 v:=22016455+786432=22802887, vv:=1849 
925: push 
level 1:(h=0,v=22802887,w=0,x=0,y=786432,z=0,hh=0,vv=1849) 
[ ]
930: fntdef1 27: ambx6---loaded at size 393216 DVI units 
951: fntnum27 current font is ambx6 
[A]
953: pop 
level 1:(h=0,v=22802887,w=0,x=0,y=786432,z=0,hh=0,vv=1849) 
954: y0 786432 v:=22802887+786432=23589319, vv:=1913 
955: push 
level 1:(h=0,v=23589319,w=0,x=0,y=786432,z=0,hh=0,vv=1913) 
[ ]
960: fntdef1 28: ambx5---loaded at size 327680 DVI units 
981: fntnum28 current font is ambx5 
[A]
983: pop 
level 1:(h=0,v=23589319,w=0,x=0,y=786432,z=0,hh=0,vv=1913) 
984: y0 786432 v:=23589319+786432=24375751, vv:=1976 
985: push 
level 1:(h=0,v=24375751,w=0,x=0,y=786432,z=0,hh=0,vv=1976) 
[ ]
990: fntdef1 29: amtt10---loaded at size 655360 DVI units 
1012: fntnum29 current font is amtt10 
[A]
1014: pop 
level 1:(h=0,v=24375751,w=0,x=0,y=786432,z=0,hh=0,vv=1976) 
1015: y0 786432 v:=24375751+786432=25162183, vv:=2040 
1016: push 
level 1:(h=0,v=25162183,w=0,x=0,y=786432,z=0,hh=0,vv=2040) 
[ ]
1021: fntdef1 30: amtt9---loaded at size 589824 DVI units 
1042: fntnum30 current font is amtt9 
[A]
1044: pop 
level 1:(h=0,v=25162183,w=0,x=0,y=786432,z=0,hh=0,vv=2040) 
1045: y0 786432 v:=25162183+786432=25948615, vv:=2104 
1046: push 
level 1:(h=0,v=25948615,w=0,x=0,y=786432,z=0,hh=0,vv=2104) 
[ ]
1051: fntdef1 31: amtt8---loaded at size 524288 DVI units 
1072: fntnum31 current font is amtt8 
[A]
1074: pop 
level 1:(h=0,v=25948615,w=0,x=0,y=786432,z=0,hh=0,vv=2104) 
1075: y0 786432 v:=25948615+786432=26735047, vv:=2168 
1076: push 
level 1:(h=0,v=26735047,w=0,x=0,y=786432,z=0,hh=0,vv=2168) 
[ ]
1081: fntdef1 32: amsltt10---loaded at size 655360 DVI units 
1105: fntnum32 current font is amsltt10 
[A]
1107: pop 
level 1:(h=0,v=26735047,w=0,x=0,y=786432,z=0,hh=0,vv=2168) 
1108: y0 786432 v:=26735047+786432=27521479, vv:=2231 
1109: push 
level 1:(h=0,v=27521479,w=0,x=0,y=786432,z=0,hh=0,vv=2231) 
[ ]
1114: fntdef1 33: amsl10---loaded at size 655360 DVI units 
1136: fntnum33 current font is amsl10 
[A]
1138: pop 
level 1:(h=0,v=27521479,w=0,x=0,y=786432,z=0,hh=0,vv=2231) 
1139: y0 786432 v:=27521479+786432=28307911, vv:=2295 
1140: push 
level 1:(h=0,v=28307911,w=0,x=0,y=786432,z=0,hh=0,vv=2295) 
[ ]
1145: fntdef1 34: amsl9---loaded at size 589824 DVI units 
1166: fntnum34 current font is amsl9 
[A]
1168: pop 
level 1:(h=0,v=28307911,w=0,x=0,y=786432,z=0,hh=0,vv=2295) 
1169: y0 786432 v:=28307911+786432=29094343, vv:=2359 
1170: push 
level 1:(h=0,v=29094343,w=0,x=0,y=786432,z=0,hh=0,vv=2359) 
[ ]
1175: fntdef1 35: amsl8---loaded at size 524288 DVI units 
1196: fntnum35 current font is amsl8 
[A]
1198: pop 
level 1:(h=0,v=29094343,w=0,x=0,y=786432,z=0,hh=0,vv=2359) 
1199: y0 786432 v:=29094343+786432=29880775, vv:=2423 
1200: push 
level 1:(h=0,v=29880775,w=0,x=0,y=786432,z=0,hh=0,vv=2423) 
[ ]
1205: fntdef1 36: amti10---loaded at size 655360 DVI units 
1227: fntnum36 current font is amti10 
[A]
1229: pop 
level 1:(h=0,v=29880775,w=0,x=0,y=786432,z=0,hh=0,vv=2423) 
1230: y0 786432 v:=29880775+786432=30667207, vv:=2486 
1231: push 
level 1:(h=0,v=30667207,w=0,x=0,y=786432,z=0,hh=0,vv=2486) 
[ ]
1236: fntdef1 37: amti9---loaded at size 589824 DVI units 
1257: fntnum37 current font is amti9 
[A]
1259: pop 
level 1:(h=0,v=30667207,w=0,x=0,y=786432,z=0,hh=0,vv=2486) 
1260: y0 786432 v:=30667207+786432=31453639, vv:=2550 
1261: push 
level 1:(h=0,v=31453639,w=0,x=0,y=786432,z=0,hh=0,vv=2550) 
[ ]
1266: fntdef1 38: amti8---loaded at size 524288 DVI units 
1287: fntnum38 current font is amti8 
[A]
1289: pop 
level 1:(h=0,v=31453639,w=0,x=0,y=786432,z=0,hh=0,vv=2550) 
1290: y0 786432 v:=31453639+786432=32240071, vv:=2614 
1291: push 
level 1:(h=0,v=32240071,w=0,x=0,y=786432,z=0,hh=0,vv=2614) 
[ ]
1296: fntdef1 39: amti7---loaded at size 458752 DVI units 
1317: fntnum39 current font is amti7 
[A]
1319: pop 
level 1:(h=0,v=32240071,w=0,x=0,y=786432,z=0,hh=0,vv=2614) 
1320: y0 786432 v:=32240071+786432=33026503, vv:=2678 
1321: push 
level 1:(h=0,v=33026503,w=0,x=0,y=786432,z=0,hh=0,vv=2678) 
[ ]
1326: fntdef1 40: amu10---loaded at size 655360 DVI units 
1347: fntnum40 current font is amu10 
[A]
1349: pop 
level 1:(h=0,v=33026503,w=0,x=0,y=786432,z=0,hh=0,vv=2678) 
1350: y0 786432 v:=33026503+786432=33812935, vv:=2741 
1351: push 
level 1:(h=0,v=33812935,w=0,x=0,y=786432,z=0,hh=0,vv=2741) 
[ ]
1356: fntdef1 41: ambi10---loaded at size 655360 DVI units 
1378: fntnum41 current font is ambi10 
[A]
1380: pop 
level 1:(h=0,v=33812935,w=0,x=0,y=786432,z=0,hh=0,vv=2741) 
1381: y0 786432 v:=33812935+786432=34599367, vv:=2805 
1382: push 
level 1:(h=0,v=34599367,w=0,x=0,y=786432,z=0,hh=0,vv=2805) 
[ ]
1387: fntdef1 42: ambsy10---loaded at size 655360 DVI units 
1410: fntnum42 current font is ambsy10 
[A]
1412: pop 
level 1:(h=0,v=34599367,w=0,x=0,y=786432,z=0,hh=0,vv=2805) 
1413: y0 786432 v:=34599367+786432=35385799, vv:=2869 
1414: push 
level 1:(h=0,v=35385799,w=0,x=0,y=786432,z=0,hh=0,vv=2869) 
[ ]
1419: fntdef1 43: amcsc10---loaded at size 655360 DVI units 
1442: fntnum43 current font is amcsc10 
[A]
1444: pop 
level 1:(h=0,v=35385799,w=0,x=0,y=786432,z=0,hh=0,vv=2869) 
1445: y0 786432 v:=35385799+786432=36172231, vv:=2933 
1446: push 
level 1:(h=0,v=36172231,w=0,x=0,y=786432,z=0,hh=0,vv=2933) 
[ ]
1451: fntdef1 44: amssbx10---loaded at size 655360 DVI units 
1475: fntnum44 current font is amssbx10 
[A]
1477: pop 
level 1:(h=0,v=36172231,w=0,x=0,y=786432,z=0,hh=0,vv=2933) 
1478: y0 786432 v:=36172231+786432=36958663, vv:=2996 
1479: push 
level 1:(h=0,v=36958663,w=0,x=0,y=786432,z=0,hh=0,vv=2996) 
[ ]
1484: fntdef1 45: amdunh10---loaded at size 655360 DVI units 
1508: fntnum45 current font is amdunh10 
[A]
1510: pop 
level 1:(h=0,v=36958663,w=0,x=0,y=786432,z=0,hh=0,vv=2996) 
1511: y0 786432 v:=36958663+786432=37745095, vv:=3060 
1512: push 
level 1:(h=0,v=37745095,w=0,x=0,y=786432,z=0,hh=0,vv=3060) 
[ ]
1517: fntdef1 46: amr7---loaded at size 951451 DVI units 
 (this font is magnified 207%) 
1537: fntnum46 current font is amr7 
[A]
1539: pop 
level 1:(h=0,v=37745095,w=0,x=0,y=786432,z=0,hh=0,vv=3060) 
1540: y0 786432 v:=37745095+786432=38531527, vv:=3124 
1541: push 
level 1:(h=0,v=38531527,w=0,x=0,y=786432,z=0,hh=0,vv=3124) 
[ ]
1546: fntdef1 47: amtt10---loaded at size 943718 DVI units 
 (this font is magnified 144%) 
1568: fntnum47 current font is amtt10 
[A]
1570: pop 
level 1:(h=0,v=38531527,w=0,x=0,y=786432,z=0,hh=0,vv=3124) 
1571: y0 786432 v:=38531527+786432=39317959, vv:=3188 
1572: push 
level 1:(h=0,v=39317959,w=0,x=0,y=786432,z=0,hh=0,vv=3188) 
[ ]
1577: fntdef1 48: amssbx10---loaded at size 943718 DVI units 
 (this font is magnified 144%) 
1601: fntnum48 current font is amssbx10 
[A]
1603: pop 
level 1:(h=0,v=39317959,w=0,x=0,y=786432,z=0,hh=0,vv=3188) 
1604: y0 786432 v:=39317959+786432=40104391, vv:=3252 
1605: push 
level 1:(h=0,v=40104391,w=0,x=0,y=786432,z=0,hh=0,vv=3252) 
[ ]
1610: fntdef1 49: manfnt---loaded at size 655360 DVI units 
1632: fntnum49 current font is manfnt 
[A]
1634: pop 
level 1:(h=0,v=40104391,w=0,x=0,y=786432,z=0,hh=0,vv=3252) 
1635: pop 
level 0:(h=0,v=42152922,w=0,x=0,y=0,z=0,hh=0,vv=3418) 
1636: down3 1572864 v:=42152922+1572864=43725786, vv:=3545 
1640: eop 
Postamble starts at byte 1641.
maxv=43725786, maxh=30785863, maxstackdepth=2, totalpages=1
Font 49: manfnt 
Font 48: amssbx10 
Font 47: amtt10 
Font 46: amr7 
Font 45: amdunh10 
Font 44: amssbx10 
Font 43: amcsc10 
Font 42: ambsy10 
Font 41: ambi10 
Font 40: amu10 
Font 39: amti7 
Font 38: amti8 
Font 37: amti9 
Font 36: amti10 
Font 35: amsl8 
Font 34: amsl9 
Font 33: amsl10 
Font 32: amsltt10 
Font 31: amtt8 
Font 30: amtt9 
Font 29: amtt10 
Font 28: ambx5 
Font 27: ambx6 
Font 26: ambx7 
Font 25: ambx8 
Font 24: ambx9 
Font 23: ambx10 
Font 22: amssqi8 
Font 21: amssi10 
Font 20: amssq8 
Font 19: amss10 
Font 18: amex10 
Font 17: amsy5 
Font 16: amsy6 
Font 15: amsy7 
Font 14: amsy8 
Font 13: amsy9 
Font 12: amsy10 
Font 11: ammi5 
Font 10: ammi6 
Font 9: ammi7 
Font 8: ammi8 
Font 7: ammi9 
Font 6: ammi10 
Font 5: amr5 
Font 4: amr6 
Font 3: amr7 
Font 2: amr8 
Font 1: amr9 
Font 0: amr10